1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/34BEP7Q |
Repositório | dpi.inpe.br/plutao@80/2008/12.04.11.55.34 |
Última Atualização | 2015:04.22.16.19.12 (UTC) administrator |
Repositório de Metadados | dpi.inpe.br/plutao@80/2008/12.04.11.55.36 |
Última Atualização dos Metadados | 2021:02.06.21.47.41 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Rótulo | lattes: 9922863822347014 2 ArantesVijaSantGuim:2008:TeCaGe |
Chave de Citação | ArantesVijaSantGuim:2008:TeCaGe |
Título | Test Case Generation for Critical Systems through a Collaborative Web-based tool |
Formato | DVD |
Ano | 2008 |
Data de Acesso | 18 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 515 KiB |
|
2. Contextualização | |
Autor | 1 Arantes, Alessandro Oliveira 2 Vijaykumar, Nandamudi Lankalapalli 3 Santiago Júnior, Valdivino Alexandre 4 Guimarães, Danielle Souza |
Grupo | 1 2 LAC-CTE-INPE-MCT-BR 3 DAS-CEA-INPE-MCT-BR 4 DAS-CEA-INPE-MCT-BR |
Afiliação | 1 Instituto de Estudos Avançados (IEAv) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 alessandro.arantes@ieav.cta.br 2 vijay@lac.inpe.br 3 valdivino@das.inpe.br 4 danielle.guimaraes@cea.inpe.br |
Endereço de e-Mail | vijay@lac.inpe.br |
Nome do Evento | International Conference on Innovation in Software Engineering, (ISE). |
Localização do Evento | Vienna |
Volume | 1 |
Páginas | 1-6 |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2008-12-04 16:11:47 :: lattes -> simone :: 2008-12-05 11:38:39 :: simone -> administrator :: 2010-05-12 02:51:41 :: administrator -> simone :: 2010-07-07 18:38:50 :: simone -> administrator :: 2021-02-06 21:47:41 :: administrator -> marciana :: 2008 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Resumo | Tests play a major role in validating software. In particular, the role becomes more important when considering critical software such as for space applications as is the case in the National Institute for Space Research (INPE) in Brazil. Such software uses Finite State Machines (FSM) in order to model the software specification from which test sequences are generated for a black box test approach. As the software for space applications is considered as a complex system with several components (usually in parallel), test designers seem to look for other alternatives instead of modeling via FSM. This paper addresses an experience in the modeling issue in using Statecharts to represent the specification of space application software from which test sequences can be generated. Moreover, it also describes a web-based tool in order to facilitate software testing, from models specified in Statecharts, in a distributed environment. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Test Case Generation... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > Test Case Generation... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/J8LNKAN8RW/34BEP7Q |
URL dos dados zipados | http://urlib.net/zip/J8LNKAN8RW/34BEP7Q |
Idioma | en |
Arquivo Alvo | arantes_test.pdf |
Grupo de Usuários | lattes simone administrator marciana |
Grupo de Leitores | administrator marciana |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory date descriptionlevel dissemination doi edition editor isbn issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|